Artificial Intelligence
OpenAI Says Navier-Stokes Can Blow Up. The Credit Fight Started in Hours
On 8 September OpenAI posted a Lean-checked singularity in the Navier-Stokes equations. Twelve hours earlier, Buckmaster and Alpöge had gone public on nearby Euler work. Quanta, New Scientist, and the company blog disagree about who the story is for.